(C) Check for uninitialized values used as branch conditions.